A separation between semantic and syntactic cutting planes Yuval Filmus Massimo Lauria March 30, 2013

Source URL: www.cs.toronto.edu

• Cutting-plane method
• Resolution
• Logic
• Ordinary differential equations
• Spectral theory
• Binomial series
• Formula for primes
• Mathematics
• Automated theorem proving
• Mathematical analysis

Microsoft Word - DMITechRep-11-19_RWMVerif_vf.doc

Source URL: www.dmi.dk

• Mathematical sciences
• Weather prediction
• Statistical forecasting
• Danish Meteorological Institute
• Weather forecasting
• Numerical weather prediction
• HIRLAM
• Forecasting
• Mean absolute error
• Statistics
• Science
• Time series analysis

Notes on Data Export Xudong Sun, SepBased on an adaption of Yang Liuʼs orignal code The HMI active region patch (HARP) data series are stored internally as full disk images with geometric information of automat

Source URL: hmi.stanford.edu

• Mathematical analysis
• Digital photography
• Cartography
• Digital signal processing
• Euclidean vector
• Vector calculus
• Coordinate system
• Projection
• Pixel
• Algebra
• Mathematics
• Image processing

Online Amnesic Approximation of Streaming Time Series Themistoklis Palpanas University of California, Riverside Michail Vlachos

Source URL: www.cs.ucr.edu

• Numerical analysis
• Computational complexity theory
• Digital signal processing
• Algorithm
• Mathematical logic
• Time complexity
• Priority queue
• Piecewise linear function
• Approximation
• Theoretical computer science
• Applied mathematics
• Mathematical analysis

Waves and Fourier sums Jon Claerbout An important concept in wave imaging is the extrapolation of a wavefield from one depth z to another. Fourier transforms are an essential basic tool. There are many books and chapters

Source URL: www.reproducibility.org

• Integral transforms
• Time series analysis
• Joseph Fourier
• Signal processing
• Fourier transform
• Frequency domain
• Convolution theorem
• Autocorrelation
• Short-time Fourier transform
• Mathematical analysis
• Mathematics
• Fourier analysis

Working paper No. 5 NovemberAgricultural Commodity Price Volatility and Its

Source URL: www.fp7-ulysses.eu

• Econometrics
• Time series analysis
• Financial economics
• Options
• Stochastic volatility
• Autoregressive conditional heteroskedasticity
• Volatility
• Mixed data sampling
• Beta
• Mathematical finance
• Statistics
• Economics

The normal approximation to the hypergeometric distribution Mark A. Pinsky, Northwestern University 1 Introduction

Source URL: www.dartmouth.edu

• Combinatorics
• Central limit theorem
• De Moivre–Laplace theorem
• Mathematical series
• Number theory
• Binomial coefficient
• Taylor series
• Factorial
• Binomial distribution
• Mathematics
• Mathematical analysis
• Integer sequences

Calculation of the sun’s acoustic impulse response by multidimensional spectral factorization J. E. Rickett and J. F. Claerbout Geophysics Department, Stanford University, Stanford, CA 94305, USA Abstract. Calculation

Source URL: sep.stanford.edu

• Mathematical analysis
• Applied mathematics
• Fourier analysis
• Time series analysis
• Control theory
• Spectral density
• Window function
• Wavelet
• Bandwidth
• Signal processing
• Statistics
• Digital signal processing

File: /General/MLAB-Text/Papers/lrc/lrc.tex Electric Circuit Dynamics Gary D. Knott, Ph.D. Civilized Software IncHeritage Park Circle

Source URL: www.civilized.com

• Fourier analysis
• Unitary operators
• Signal processing
• Fourier transform
• Capacitor
• Fourier series
• RC circuit
• Laplace transform
• Mathematical analysis
• Integral transforms
• Joseph Fourier

Monash Weather and Climate seminar series Next seminar: Friday 12th November Beyond the classical El Nino Dietmar Dommenget School of Mathematical Science Monash University

Source URL: monash.edu.au